См. также в других словарях:
Chapel (язык программирования) — Chapel Испытал влияние: HPF, ZPL Chapel новый язык программирования с поддержкой распараллеливания, разработанный корпорацией Cray. Язык был разработан в рамках проекта «Каскад» (Cascade), для участия в программе DARPA Высокопродуктивные… … Википедия
Языки программирования — (алгоритмические языки) класс искусственных языков, предназначенных для обработки информации с помощью вычислительных машин. Тексты на Я. п. являются предписаниями по обработке последовательностей символов (в частности, записей чисел); все… … Лингвистический энциклопедический словарь
Искусственные языки — Искусственные языки знаковые системы, создаваемые для использования в тех областях, где применение естественного языка менее эффективно или невозможно. И. я. различаются по специализации и назначению, а также по степени сходства с естественными… … Лингвистический энциклопедический словарь
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… … Философская энциклопедия
Четыре четвёрки — Четыре четверки математическая головоломка по поиску простейшего математического выражения для каждого целого числа от 0 до некоторого максимума, используя лишь общие математические символы и цифры четыре (никакие другие цифры не допускаются).… … Википедия
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Языкознание — лингвистика, языковедение, наука о Языке. Объектом Я. является строение, функционирование и историческое развитие языка, язык во всём объёме его свойств и функций. Однако в качестве непосредственного предмета Я. в разные эпохи выдвигались … Большая советская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
История арифметики — Арифметика. Роспись Пинтуриккьо. Апартаменты Борджиа. 1492 1495. Рим, Ватиканские дворцы … Википедия
Узбекская Советская Социалистическая Республика — (Узбекистон Совет Социалистик Республикаси) Узбекистан. I. Общие сведения Узбекская ССР образована 27 октября 1924. Расположена в центральной и северной частях Средней Азии. Граничит на С. и С. З. с Казахской ССР, на Ю.… … Большая советская энциклопедия